Boolean model - PDFSEARCH.IO - Document Search Engine

Boolean model
Results: 352

#	Item
121	Minimum Satisfying Assignments for SMT? Isil Dillig1 , Thomas Dillig1 , Kenneth L. McMillan2 , and Alex Aiken3 1 College of William & Mary 2 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2012-04-19 15:56:45 Model theory Formal languages Metalogic Boolean algebra Interpretation First-order logic Satisfiability Function Well-formed formula Logic Mathematical logic Mathematics
122	Stereology and Image Analysis. Ecs10 - Proceedings of the 10th European Congress of ISS, (V.Capasso et al. Eds.), The MIRIAM Project Series, ESCULAPIO Pub. Co., Bologna, Italy, 2009 MODEL FOR RANDOM UNION OF INTERACTING Add to Reading List Source URL: people.math.aau.dk Language: English - Date: 2009-07-06 10:59:40 Boolean model Probability theory Neural networks
123	We transfer information using sentences. How should we model this? Some aspects of the logical structure of conversation Daniel Rothschild Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:20 Propositional calculus Grammar Semantics Philosophy of language Boolean algebra Proposition Negation Formal language Logic Linguistics Science
124	Likelihood inference for unions of interacting discs Jesper Møller1 and Kateˇrina Helisov´a2,3 1 Department of Mathematical Sciences, Aalborg University, Fredrik Bajers Vej 7G, DK- Add to Reading List Source URL: people.math.aau.dk Language: English - Date: 2008-11-26 10:37:30 Statistical theory Estimation theory Boolean model Stochastic geometry Poisson process Markov chain Maximum likelihood Statistical inference Markov model Statistics Probability theory Markov processes
125	Efficient Server-Aided Secure Two-Party Function Evaluation with Applications to Genomic Computation Marina Blanton and Fattaneh Bayatbabolghani Department of Computer Science and Engineering University of Notre Dame mbl Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-05-09 22:08:08 Genetics Biology DNA Secure multi-party computation Genetic testing Boolean circuit Parental testing DNA profiling Actor model Cryptographic protocols Applied genetics Cryptography
126	PHYSICAL REVIEW E 86, Binary threshold networks as a natural null model for biological networks Matthias Rybarsch* and Stefan Bornholdt† Institute for Theoretical Physics, University of Bremen, DB Add to Reading List Source URL: www.itp.uni-bremen.de Language: English - Date: 2012-09-24 10:51:12 Network theory Neural networks Science Combinatorics Gene expression Gene regulatory network Boolean network Degree distribution Artificial neuron Graph theory Networks Mathematics
127	Reasoning About Pattern-Based XML Queries Am´elie Gheerbrant1, Leonid Libkin1, and Cristina Sirangelo2 1 School of Informatics, University of Edinburgh 2 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-06-07 12:18:52 Conjunctive query Database theory Complexity classes Relational model Structure Data integration Symbol FO Boolean satisfiability problem Theoretical computer science Mathematics Data management
128	Department of Mathematics Prof. Dr. Wolfgang Weil Kaiserstr, GebKarlsruhe 24. M¨arz 2015 Add to Reading List Source URL: www.math.kit.edu Language: English - Date: 2015-03-30 11:59:26 Convex geometry Point process Central limit theorem Boolean model Statistics Stochastic processes Probability theory
129	Partial Functions Approaches An Introduction to the Logic of Partial Functions Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Semantics Model theory Boolean algebra Formal methods Computability theory Interpretation Truth table First-order logic Vienna Development Method Mathematical logic Mathematics Logic
130	Omni-directional Hyper Logic Programs in SILK and RIF Benjamin Grosof1 , Carl Andersen2 , Mike Dean2 , and Michael Kifer3 1 2 Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2010-09-29 10:18:55 Reasoning Science Semantic Web Programming paradigms Boolean algebra Rule Interchange Format Semantic Web Rule Language Stable model semantics Knowledge representation and reasoning Logic Logic programming Mathematical logic

UPDATE